Introduction to the Logic of Definitions
نویسنده
چکیده
منابع مشابه
An Introduction to the Use of Fuzzy Mathematics in Archeology (Case Study: Virtual Reconstruction of Togrul Tower by Using Fuzzy Reliability)
Nowadays, the use of fuzzy mathematics and fuzzy logic are increasing in various sciences. Archaeology is one of the sciences that is less attended with the methods of fuzzy mathematics and fuzzy logic. Due to the nature of many archaeological data, however, the use of such methods in archaeology can be beneficial. In this research, it has been tried to explain applications of fuzzy logic and f...
متن کاملAutomating Recursive Type Definitions in Higher Order Logic
The expressive power of higher order logic makes it possible to define a wide variety of types within the logic and to prove theorems that state the properties of these types concisely and abstractly. This paper contains a tutorial introduction to the logical basis for such type definitions. Examples are given of the formal definitions in logic of several simple types. A method is then describe...
متن کاملWhat definition of information would be emancipatory one?
Background and Aim: Human-information interaction, either in every day life or in research approaches, depends on pre-assumptions about “what information is”. Sometimes this pre-assumptions become axiomtic in a way that we must return to primary concerns about them to explore new social phenomenas. Information as an object is one of pre-assumptions. In this paper, the mentioned pre-assumptions ...
متن کاملEncoding Transition Systems in Sequent Calculus: Preliminary Report
Linear logic has been used to specify the operational semantics of various process calculi. In this paper we explore how meta-level judgments, such as simulation and bisimulation, can be established using such encodings. In general, linear logic is too weak to derive such judgments and we focus on an extension to linear logic using definitions. We explore this extension in the context of transi...
متن کاملPrediction of solar ultraviolet intensity by using Fuzzy Logic in the north-west of Iran
Introduction: Solar energy is one of the free sources, clean and environmentally friendly energy. Sun is the most important source of natural ultraviolet radiation that has a major role in the life of living beings. Industrial and medical applications of ultraviolet radiation have been clearly proven, like the production of vitamin D or treatment of many diseases, and also har...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013